\relax 
\catcode`"\active
\select@language{italian}
\@writefile{toc}{\select@language{italian}}
\@writefile{lof}{\select@language{italian}}
\@writefile{lot}{\select@language{italian}}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduzione}{7}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Lincenza}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Strumenti software}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}\textlatin  {\LaTeX  }}{8}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Bootloader}{9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Grub}{9}}
\@writefile{toc}{\contentsline {subsection}{Vesa Bios Extension}{9}}
\@writefile{toc}{\contentsline {subsubsection}{Vesa Bios Extension}{9}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Kernel}{11}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Modello di kernel}{11}}
\@writefile{toc}{\contentsline {subsection}{Kernel Monolitico}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Kernel Monolitico}{11}}
\@writefile{toc}{\contentsline {subsection}{Microkernel}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Microkernel}{11}}
\@writefile{toc}{\contentsline {subsection}{Kernel Ibrido}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Kernel Ibrido}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Compilazione}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Astrazione hardware}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Gestore della memoria}{12}}
\@writefile{lot}{\contentsline {table}{\numberline {3.1}{\ignorespaces Livelli del gestore della memoria}}{12}}
\newlabel{tab:mm_levels}{{3.1}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Tasking}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Driver}{13}}
\@writefile{lot}{\contentsline {table}{\numberline {3.2}{\ignorespaces Tipi di driver}}{13}}
\newlabel{tab:fs_levels}{{3.2}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}File System}{13}}
\@writefile{lot}{\contentsline {table}{\numberline {3.3}{\ignorespaces Livelli per le operazioni sui fs}}{13}}
\newlabel{tab:fs_levels}{{3.3}{13}}
\@writefile{lot}{\contentsline {table}{\numberline {3.4}{\ignorespaces Struttura di un nodo}}{14}}
\newlabel{tab:fs_node}{{3.4}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7.1}DevFS}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7.2}PigFS}{14}}
\@writefile{lot}{\contentsline {table}{\numberline {3.5}{\ignorespaces Struttura PFS}}{14}}
\newlabel{tab:pfs_struct}{{3.5}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {3.8}Networking}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {3.9}Audio}{14}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Prestazioni}{15}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{lot}{\contentsline {table}{\numberline {4.1}{\ignorespaces Prestazioni generiche}}{15}}
\newlabel{tab:generic_benchmarks}{{4.1}{15}}
\@writefile{toc}{\contentsline {chapter}{Bibliografia}{15}}
\bibcite{lamport-latex2}{1}
\bibcite{lamport-latex2}{2}
\bibcite{lamport-latex2}{3}
\bibcite{lamport-latex2}{4}
